// { dg-additional-options "-fmodule-header" }

inline auto foo() {
  return 1;
}
